Verification of digital and hybrid systems
- Författare
- Turkey) NATO Advanced Study Institute on Verification of Digital and Hybrid Systems (1997 : Antalya R. P. Kurshan M. Kemal Inan
- (Edited by M. Kemal Inan, Robert P. Kurshan., "Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26-June 6, 1997"--Verso t.p, Includes bibliographical references and index)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | c2000 | Tyskland, Berlin, New York | xviii, 405 sidor. ill. 24 cm |